扫描下载APP
其它方式登录
美团龙猫团队开源数学形式化与定理证明模型LongCat-Flash-Prover，通过自动形式化、草稿生成和证明生成三大能力，实现从概率预测到严谨逻辑证明的范式转变，在MiniF2F等基准测试中刷新SOTA，依托TIR框架与Lean4Server校验提升逻辑可靠性，推动AI成为基础科学研究的底座设施。
WEEX Labs分享了AI多智能体系统的成本控制方法，包括避免无效交互、设置安全刹车机制和保障安全性，以实现高效低成本的AI团队运作。
WEEX Labs选择Discord作为AI团队的数字化指挥中心，因其频道化结构、管理精度、安全隔离和开发生态优势，适合Multi-Agent系统协作。
WEEX Labs AI实验室通过OpenClaw系统构建多智能体协作团队，实现从指令驱动到任务驱动的转变，涵盖任务统筹、研究、编程、撰稿和审计等功能，并设置安全机制保障效率与安全。
Lagrange ZK Prover是加密行业首个生产就绪的ZK Prover网络，利用EigenLayer和网关实现与以太坊相同的安全级别。Prover是生成ZK证明的程序，网关类似于经理，将证明请求分发给Prover。第一个网关是Lagrange自己的ZK协处理器。总的来说，Lagrange ZK Prover网络为应用程序安全地生成ZK证明。
